Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
511	BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-07-04 18:40:22 Process calculus Algebra Bisimulation Model theory Operator Mathematics Theoretical computer science Algebraic structures
512	Summary and practice questions Uri Feige February 3, 2010 1 Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2010-02-16 03:08:04 Matroid theory Linear algebra Matrix theory Permutations Computational problems Matching Tree decomposition Matroid Computing the permanent Graph theory Mathematics Theoretical computer science
513	Homotopic Object Reconstruction using Natural Neighbor Barycentric Coordinates Ojaswa Sharma1 and Fran¸cois Anton2 1 Department of Computer Science and Engineering, Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2011-08-10 03:10:29 Linear algebra Mathematical structures Triangles Affine geometry Barycentric coordinate system Voronoi diagram Polygon Homotopy Topology Algebra Mathematics Geometry
514	Optimizing M AKWA on GPU and CPU Thomas Pornin, <> May 18, 2015 Abstract We present here optimized implementations of the M AKWA password hashing Add to Reading List Source URL: www.bolet.org Language: English - Date: 2015-05-18 18:18:01 Search algorithms Modular arithmetic Exponentials Exponentiation by squaring Montgomery reduction Hash function 64-bit Euclidean vector Mathematics Algebra Computer arithmetic
515	MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCEComputation Structures Fall 2006 Quiz #1: September 22, 2006 Name Add to Reading List Source URL: 6004.csail.mit.edu Language: English - Date: 2012-02-21 10:13:31 Electronics Electronic design Logic gate CMOS Boolean algebra Ternary numeral system Electronic engineering Digital electronics Logic families
516	Decision Problems for Additive Regular Functions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 09:21:06 Mathematics Models of computation Metalogic Structure Universal algebra FO Model theory String Symbol Automata theory Theoretical computer science Formal languages
517	Royal Institute of Technology, KTH Department of High Performance Computing and Visualization B¨arbel Janssen, Numerical Linear Algebra Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2014-09-26 08:15:29 Computer arithmetic Floating point Pi MATLAB Software Mathematical analysis Computing
518	CS 170 Algorithms Spring 2009 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2009-05-04 23:56:17 Complexity classes NP-complete problems Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Conjunctive normal form NP-complete Canonical form Theoretical computer science Mathematics Applied mathematics
519	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:59 Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science Theoretical computer science Type theory
520	BRICS RSAceto et al.: Bisimilarity is not Finitely Based over BPA with Interrupt BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-11-21 16:35:43 Theoretical computer science Applied mathematics Process calculus Bisimulation Mathematics Algebraic structures Algebra

UPDATE